Integral of sqrt(1 cos(x))